The use of data-mining for the automatic formation of tactics
نویسنده
چکیده
Many well-known theorems in mathematics have been formalized using a variety of tools and formal systems. Despite this success, some kinds of material remain difficult to formalize, especially if our aim is to develop an ever-growing book of mathematics rather than stopping once a certain theorem has been proved. Algebra, with its numerous abstract concepts that are refined and combined in countless ways, is particularly difficult to formalize, but other branches of mathematics, such as topology, present similar difficulties. The speaker will describe recent progress in this area using Isabelle’s locale construct. Computer-Supported Mathematical Theory Development’04 7 Towards a Generic Management of Change Dieter Hutter German Research Center for Artificial Intelligence (DFKI GmbH) Stuhlsatzenhausweg 3, 66123 Saarbrücken, Germany e-mail: [email protected]
منابع مشابه
Automatic Discovery of Technology Networks for Industrial-Scale R&D IT Projects via Data Mining
Industrial-Scale R&D IT Projects depend on many sub-technologies which need to be understood and have their risks analysed before the project can begin for their success. When planning such an industrial-scale project, the list of technologies and the associations of these technologies with each other is often complex and form a network. Discovery of this network of technologies is time consumi...
متن کاملAutomatic estimation of regularization parameter by active constraint balancing method for 3D inversion of gravity data
Gravity data inversion is one of the important steps in the interpretation of practical gravity data. The inversion result can be obtained by minimization of the Tikhonov objective function. The determination of an optimal regularization parameter is highly important in the gravity data inversion. In this work, an attempt was made to use the active constrain balancing (ACB) method to select the...
متن کاملAutomatic Construction of Persian ICT WordNet using Princeton WordNet
WordNet is a large lexical database of English language, in which, nouns, verbs, adjectives, and adverbs are grouped into sets of cognitive synonyms (synsets). Each synset expresses a distinct concept. Synsets are interlinked by both semantic and lexical relations. WordNet is essentially used for word sense disambiguation, information retrieval, and text translation. In this paper, we propose s...
متن کاملAnalysis of the dimensions of the use of search tactics with emphasis on user characteristics and simulated search tasks based on the Anderson and Crasswell classification scheme
Purpose: The purpose of this study is to identify the frequency and time spent in the use of search tactics and the effect of user characteristics and type of search task on the use of search tactics. Methodology: A quantitative approach based on data obtained from Morayeh software used. Sample was 35 post graduate and graduate students majoring in humanities and engineering in Tehran. Four sea...
متن کاملAN-EUL method for automatic interpretation of potential field data in unexploded ordnances (UXO) detection
We have applied an automatic interpretation method of potential data called AN-EUL in unexploded ordnance (UXO) prospective which is indeed a combination of the analytic signal and the Euler deconvolution approaches. The method can be applied for both magnetic and gravity data as well for gradient surveys based upon the concept of the structural index (SI) of a potential anomaly which is relate...
متن کاملProposing an approach to calculate headway intervals to improve bus fleet scheduling using a data mining algorithm
The growth of AVL (Automatic Vehicle Location) systems leads to huge amount of data about different parts of bus fleet (buses, stations, passenger, etc.) which is very useful to improve bus fleet efficiency. In addition, by processing fleet and passengers’ historical data it is possible to detect passenger’s behavioral patterns in different parts of the day and to use it in order to improve fle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007